Predicate transformer semantics

#	Item
101	STUDIA UNIV. BABES ¸ –BOLYAI, INFORMATICA, Volume L, Number 1, 2005 Add to Reading List Source URL: www.cs.ubbcluj.ro Language: English - Date: 2005-11-10 10:32:49 Formal methods Program logic Logic in computer science Predicate transformer semantics Formal verification Algorithm KeY Correctness Invariant Mathematics Applied mathematics Theoretical computer science
102	ACSL By Example Towards a Verified C Standard Library Add to Reading List Source URL: www.fokus.fraunhofer.de Language: English - Date: 2012-09-02 18:05:19 Software engineering Formal methods Abstract data types Generic programming Algorithm Mathematical logic Predicate transformer semantics Frama-C Stack Mathematics Computing C++ Standard Library
103	PDF Document Add to Reading List Source URL: www.cse.dmu.ac.uk Language: English - Date: 2005-04-26 05:39:32 Debugging Procedural programming languages Program logic FermaT Transformation System Program slicing Predicate transformer semantics Conditional ALGOL 68 Meat slicer Software engineering Computing Programming language theory
104	PDF Document Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2001-06-01 08:11:10 Probabilistic complexity theory Turing machine Predicate transformer semantics Program logic Randomized algorithm Probabilistic Turing machine PP NL Determinism Theoretical computer science Computational complexity theory Applied mathematics